🌳 Mergeable Trees - hello · Scour

Weeknotes 2026-W06 › Project Pterodactyl: incremental architecture

jonmsterling.com·23h·

Discuss: Hacker News, r/Compilers

⚡Incremental Computation

isledb: An embedded key-value engine built on object storage in Go

reddit.com·3h·

Discuss: r/golang

feldera/feldera: The Feldera Incremental Computation Engine

github.com·1d

Concurrency Flavours -- Lucian Radu Teodorescu : Standard C++

isocpp.org·3d

🔄Concurrency

Open Infrastructures #2: the SURF Fediverse

chem-bla-ics.linkedchemistry.info·15h

🔗ActivityPub

Intersection of Two Linked Lists

dev.to·1d·

Discuss: DEV

🌳Fenwick Trees

Discovering git worktrees

philipotoole.com·23h

Building a data greenhouse

jmduke.com·1d

**Abstract:** This research introduces a novel framework for formally verifying distributed consensus protocols, specifically Raft, using Lean 4 and dependen...

freederia.com·1d

Reactive Knowledge Representation and Asynchronous Reasoning

arxiv.org·2d

🕸️Knowledge Graphs

Fibonacci numbers and time-space tradeoffs

johndcook.com·1h

⚖️Y-Fast Tries

Declarative, Reproducible Emacs

irreal.org·23h

🦀Rust Macros

Revisiting Regular Types

abseil.io·16h

👻Phantom Types

yamlscript.org·1d

Oatmeal - Constraint propagation for fun

eli.li·12h

🧩Constraint Programming

ERC-8004: A Trustless Agent Standard for On-Chain AI in Avalanche C-Chain

medium.com·14h

🗳️Raft Consensus

Chromosome-level genome assembly and annotation of the critically endangered Siberian crane ( Leucogeranus leucogeranus )

nature.com·23h

🧬Computational Biology

[$] Modernizing swapping: the end of the swap map

lwn.net·2d

Command and Control

halfworkshq.itch.io·1h

Production pain points and coordination patterns from building a dual-orchestrator (Claude + Kimi) system on Claude Code. 8 failure modes with specs and invariants.

gist.github.com·15h·

Discuss: Hacker News

Loading more...